Model checking infinite state systems
- Författare
- Institutionen för datavetenskap (Göteborg) Torbjörn Karfunkel
- (Torbjörn Karfunkel., Examensarbete, Examensarbete)
- Genre
- Ej skönlitteratur
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| 2001 | Sverige | 42 sidor. ill. |